Die Spezifikationssprachen MSC und SDL Teil 1: Message Sequence Chart (MSC) The Specification Languages MSC and SDL Part 1: Message Sequence Chart (MSC)

Im Gegensatz zu weiten Teilen der Informatik besteht in der Telekommunikation seit langem die Notwendigkeit, herstellerunabhängige und präzise Standards für Kommunikationsprotokolle und -dienste zu erstellen. Diese Anforderung hat dazu geführt, dass man sich schon frühzeitig mit der Entwicklung der formalen Modellierungssprachen Message Sequence Chart (MSC) und Specification and Description Language (SDL) beschäftigt hat. Im Gegensatz etwa zur Unified Modeling Language (UML) [1] liegt MSC und SDL eine formale Semantik zugrunde, die die Bedeutung der einzelnen Sprachkonstrukte klar und eindeutig definiert.